Computable function - PDFSEARCH.IO - Document Search Engine

Computable function
Results: 170

#	Item
141	The Realizability Approach to Computable Analysis and Topology Andrej Bauer Add to Reading List Source URL: andrej.com Language: English - Date: 2010-06-11 17:18:33 Mathematical constructivism Logic in computer science Algebraic structures Realizability Categorical logic Function Intuitionistic logic Combinatory logic First-order logic Mathematical logic Mathematics Logic
142	Complexity Theory Johan H˚ astad Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2009-05-13 03:44:33 Mathematics Mathematical logic Primitive recursive function Computable function Recursively enumerable set Μ operator Computability Function Recursion Computability theory Theory of computation Theoretical computer science
143	Quantum theory, the Church-Turing principle and the universal quantum computer DAVID D EUTSCH Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2007-09-05 22:45:42 Theory of computation Turing machine Models of computation Alan Turing Church–Turing thesis Church–Turing–Deutsch principle Computable function Computability Quantum computer Theoretical computer science Computer science Computability theory
144	A Formalization of the Church-Turing Thesis Udi Boker and Nachum Dershowitz School of Computer Science, Tel Aviv University Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-04-11 03:56:50 Computability theory Models of computation Formal methods Computable function Algorithm Church–Turing thesis Turing machine Hypercomputation Computability Theoretical computer science Mathematics Theory of computation
145	Real Number Computability and Domain Theory ∗ Pietro Di Gianantonio dipartimento di Matematica e Informatica, Universit`a di Udine Add to Reading List Source URL: users.dimi.uniud.it Language: English - Date: 2010-04-04 11:51:58 Elementary mathematics Field theory Computable number Computable analysis Computable function Real number Computable real function Rational number Cauchy sequence Mathematics Computability theory Theory of computation
146	jn[removed]Effective computability: Turing machines Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:17 Computer science Turing machine Models of computation Universal Turing machine Busy beaver Computability Computable function Computable number Halting problem Computability theory Theoretical computer science Theory of computation
147	A short introduction to the Lambda Calculus Achim Jung∗ March 18, 2004 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-05-11 14:13:42 Mathematical logic Combinatory logic Fixed-point combinator Simply typed lambda calculus Programming Computable Functions Free variables and bound variables Function Parameter Spectral theory of ordinary differential equations Mathematics Theoretical computer science Lambda calculus
148	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-03-29 15:27:54 Theoretical computer science Mathematical logic Computable function Church–Turing thesis Function Algorithm Recursion Stephen Cole Kleene Computability Computability theory Mathematics Theory of computation
149	PDF Document Add to Reading List Source URL: research.cs.queensu.ca Language: English - Date: 2005-07-27 11:43:32 Computer science Hypercomputation Church–Turing thesis Computable function Turing machine Computability Halting problem Oracle machine Alan Turing Theory of computation Theoretical computer science Computability theory
150	doi:[removed]j.amc[removed] Add to Reading List Source URL: research.cs.queensu.ca Language: English - Date: 2006-09-06 13:49:44 Computability theory Hypercomputation Computable function Church–Turing thesis Computability Computation Turing machine Super-recursive algorithm Algorithm Theoretical computer science Theory of computation Computer science

UPDATE